Computing Arrangements of Implicit Curves

We examine the problem of determining, when possible, the exact topological adjacency structure of the planar subdivision induced on a rectangle by a set of curves given in implicit form. This means finding the number of points of intersection of the curves and the way curve segments are linked to determine regions. We use a recursive method based on estimates given by interval arithmetic, together with conditions under which topology can be exactly determined.